Property-based testing - koushisa

Property-based testing

Property-based Testing の位置付け / Intro to Property-based Testing - Speaker Deck

UnknownをKnownにする

Propety-based testingを実行するとテスト対象コードのバグが見つかるか、テスト対象ドメインの自分の理解のバグが見つかるか、それら両方である

Goにproperty based testingを布教したい - k.dev

人間が考えるのはどの範囲の値に対してテストをするかということ

テストと言うよりも証明にちかい

『実践プロパティベーステスト ― PropErとErlang/Elixirではじめよう』発売のお知らせ – 技術書出版と販売のラムダノート

従来のユニットテストで使うテストケースを人間が書くのではなく、コンピューターで大量に自動生成しよう

テストケースを自動生成するコード（プロパティ）を書くための技法

「失敗する事例」をうまく見つけ出すための技術

The 'Property Based Testing' series | F# for fun and profit

Property based testing を試してみよう #property-based-testing - Qiita

Property Based Testing - TECHSCORE BLOG

/mrsekut-p/Property based testing

探索的テストを自動化してUnknownをKnownにするイメージ

ライブラリ

E2Eテストに応用する例

fast-checkとCypressでE2EテストのProperty-based testingをやる

Example-Based Testingとの関連

ノーガード戦法（ぉぃ）<<< Example-Based Testing (#EBT) < Property-Based Testing (#PBT) < 証明